TypeConstructorsWhichPreserveGuardedness1.agda:32,10-16
_A_18 ⊎ _B_19 !=< ℕ of type Set
when checking that the inferred type of an application
  _A_18 ⊎ _B_19
matches the expected type
  ℕ
